SCG_INK
34
28
15991 2310
15980 2291
15966 2280
15952 2266
15930 2266
15905 2266
15874 2277
15837 2296
15798 2324
15759 2364
15717 2422
15681 2498
15650 2585
15625 2680
15611 2781
15608 2884
15616 2982
15636 3075
15664 3156
15700 3218
15739 3268
15781 3304
15826 3330
15865 3346
15902 3352
15935 3346
15975 3338
16003 3313
17
16327 2411
16322 2403
16316 2400
16311 2411
16313 2436
16313 2478
16313 2537
16313 2604
16316 2680
16316 2761
16316 2842
16316 2918
16316 2982
16322 3038
16327 3086
16333 3111
16347 3136
30
16336 2467
16367 2411
16409 2358
16456 2316
16512 2285
16565 2263
16621 2263
16669 2280
16717 2310
16753 2355
16781 2414
16798 2481
16806 2557
16803 2638
16792 2716
16770 2789
16742 2859
16705 2921
16666 2977
16624 3019
16585 3055
16546 3080
16515 3103
16490 3117
16467 3122
16459 3128
16453 3125
16451 3117
16467 3108
16487 3089
61
17190 2383
17193 2386
17193 2392
17195 2406
17201 2425
17209 2459
17218 2501
17226 2554
17237 2616
17249 2677
17260 2744
17265 2803
17277 2862
17282 2910
17291 2946
17296 2971
17305 2988
17310 2994
17319 2994
17327 2985
17338 2966
17349 2935
17363 2893
17380 2840
17391 2781
17408 2716
17428 2652
17445 2590
17461 2532
17478 2481
17492 2442
17503 2417
17520 2400
17534 2394
17545 2400
17557 2417
17571 2448
17582 2492
17593 2546
17604 2607
17618 2672
17629 2730
17643 2789
17655 2837
17669 2873
17683 2893
17702 2898
17725 2887
17747 2862
17769 2823
17795 2772
17817 2711
17837 2644
17856 2576
17870 2515
17881 2462
17887 2408
17895 2375
17907 2355
17909 2338
17921 2333
23
18105 2030
18117 2036
18133 2050
18153 2078
18178 2114
18203 2168
18226 2226
18254 2308
18271 2394
18287 2490
18290 2585
18290 2686
18276 2786
18257 2884
18229 2977
18198 3058
18164 3131
18128 3198
18100 3257
18066 3304
18038 3335
18024 3369
18005 3388
29
16364 3806
16344 3803
16333 3806
16336 3809
16350 3811
16383 3817
16425 3814
16487 3814
16557 3806
16647 3800
16747 3789
16859 3775
16971 3761
17083 3747
17193 3733
17299 3722
17394 3713
17481 3705
17548 3697
17604 3697
17649 3691
17683 3691
17708 3691
17722 3688
17736 3694
17733 3694
17725 3691
17713 3697
17691 3699
81
16437 3823
16439 3831
16448 3842
16459 3859
16481 3879
16504 3904
16537 3932
16571 3963
16613 3996
16655 4027
16700 4058
16745 4086
16792 4117
16840 4142
16887 4167
16935 4187
16980 4203
17022 4217
17058 4231
17095 4237
17123 4245
17145 4251
17165 4257
17179 4259
17190 4265
17198 4271
17201 4276
17204 4282
17201 4287
17195 4299
17187 4307
17173 4318
17156 4332
17134 4341
17106 4360
17075 4383
17036 4408
16994 4436
16946 4469
16893 4509
16837 4553
16773 4607
16708 4657
16641 4710
16571 4763
16504 4814
16439 4861
16378 4903
16327 4943
16283 4971
16246 4996
16221 5013
16204 5030
16199 5041
16201 5046
16218 5052
16243 5055
16283 5055
16330 5052
16386 5049
16453 5049
16521 5044
16596 5041
16669 5038
16742 5035
16812 5035
16879 5032
16943 5032
17008 5032
17064 5035
17117 5035
17165 5038
17207 5044
17240 5049
17268 5055
17291 5060
17307 5066
17321 5072
17330 5077
17333 5083
17338 5088
31
14121 5998
14135 6063
14155 6130
14171 6197
14191 6264
14208 6326
14222 6376
14236 6419
14247 6441
14258 6458
14269 6461
14281 6452
14292 6430
14306 6390
14320 6340
14337 6278
14351 6211
14367 6130
14379 6057
14393 5987
14401 5923
14409 5870
14415 5828
14421 5791
14421 5760
14421 5746
14423 5730
14426 5718
14429 5710
14437 5713
14443 5713
18
14558 6180
14558 6172
14569 6169
14589 6169
14614 6166
14645 6164
14681 6164
14720 6161
14759 6161
14799 6158
14832 6158
14860 6158
14883 6155
14897 6155
14908 6158
14911 6161
14905 6152
14905 6152
34
15608 5522
15599 5486
15588 5447
15577 5410
15563 5380
15546 5352
15529 5335
15510 5324
15487 5321
15465 5326
15445 5343
15423 5371
15401 5410
15381 5461
15364 5522
15350 5595
15339 5674
15328 5763
15322 5864
15319 5968
15317 6074
15317 6178
15317 6281
15317 6382
15317 6477
15308 6564
15308 6640
15303 6707
15297 6760
15291 6808
15283 6836
15272 6847
15269 6855
15263 6841
18
15126 6276
15146 6259
15174 6242
15210 6222
15255 6206
15303 6183
15356 6164
15403 6147
15448 6130
15485 6119
15515 6110
15538 6105
15549 6102
15555 6105
15555 6108
15549 6108
15549 6119
15543 6122
16
15863 6088
15840 6082
15837 6071
15840 6066
15854 6057
15879 6046
15907 6035
15944 6021
15980 6010
16017 5998
16050 5987
16078 5982
16101 5982
16117 5987
16126 5987
16134 5996
14
15905 6298
15919 6290
15933 6284
15955 6276
15983 6267
16008 6259
16036 6248
16059 6239
16078 6234
16098 6231
16109 6228
16117 6225
16126 6234
16126 6228
44
16563 6038
16563 6063
16565 6099
16568 6150
16571 6203
16574 6267
16579 6329
16579 6393
16582 6455
16582 6505
16582 6547
16577 6578
16571 6601
16565 6615
16557 6626
16546 6626
16537 6615
16529 6595
16521 6573
16512 6539
16509 6497
16507 6447
16507 6385
16512 6320
16518 6256
16529 6192
16543 6124
16560 6066
16577 6015
16596 5973
16619 5945
16641 5923
16663 5912
16683 5903
16705 5900
16725 5900
16742 5906
16756 5909
16770 5914
16784 5917
16795 5920
16806 5920
16823 5926
16834 5920
43
17391 5200
17380 5175
17377 5153
17369 5133
17361 5116
17349 5105
17338 5094
17324 5094
17307 5100
17293 5111
17277 5130
17260 5158
17246 5192
17229 5237
17215 5290
17204 5346
17198 5405
17193 5466
17193 5531
17195 5592
17198 5651
17204 5707
17209 5758
17212 5805
17209 5847
17209 5884
17201 5917
17190 5945
17173 5970
17156 5990
17134 6007
17111 6018
17086 6029
17064 6035
17041 6040
17022 6040
17008 6035
16994 6026
16991 6015
16985 5998
16988 5973
17008 5945
17027 5914
48
17641 5318
17641 5307
17652 5298
17674 5296
17708 5287
17744 5284
17783 5276
17825 5273
17862 5273
17893 5273
17915 5279
17935 5284
17943 5296
17949 5310
17946 5324
17940 5346
17926 5371
17909 5399
17884 5433
17856 5478
17820 5522
17781 5573
17739 5620
17699 5668
17660 5716
17627 5760
17599 5797
17579 5828
17565 5853
17562 5872
17565 5886
17573 5898
17593 5900
17615 5898
17649 5889
17685 5878
17722 5864
17761 5850
17795 5836
17828 5825
17853 5819
17873 5814
17887 5814
17893 5814
17898 5825
17909 5833
17909 5839
17915 5844
53
18556 4990
18554 4985
18556 4993
18559 5010
18562 5041
18565 5086
18565 5147
18565 5220
18559 5298
18551 5382
18540 5464
18526 5548
18509 5615
18489 5676
18472 5718
18458 5755
18444 5772
18433 5788
18425 5794
18422 5791
18422 5783
18425 5766
18428 5746
18430 5716
18433 5685
18433 5646
18430 5609
18425 5570
18414 5534
18400 5503
18380 5480
18357 5464
18329 5458
18299 5464
18265 5480
18231 5508
18195 5542
18159 5584
18128 5629
18100 5674
18077 5707
18063 5744
18061 5772
18063 5791
18075 5800
18094 5808
18125 5808
18159 5805
18198 5805
18234 5797
18271 5786
18313 5780
18343 5774
45
18778 5371
18780 5382
18780 5399
18783 5422
18786 5452
18786 5486
18789 5528
18789 5564
18792 5609
18792 5643
18797 5682
18803 5707
18811 5735
18825 5749
18845 5763
18867 5769
18892 5769
18920 5760
18951 5749
18979 5732
19013 5713
19041 5688
19069 5660
19091 5632
19114 5604
19133 5576
19153 5548
19164 5520
19178 5492
19189 5464
19198 5438
19206 5413
19214 5391
19220 5371
19226 5357
19231 5343
19237 5332
19240 5324
19242 5315
19248 5312
19245 5304
19251 5304
19251 5304
19248 5304
19245 5307
25
19130 5038
19116 5055
19097 5088
19080 5142
19055 5212
19027 5298
18993 5391
18962 5494
18920 5595
18890 5690
18856 5780
18831 5858
18806 5914
18789 5962
18778 5996
18769 6018
18766 6035
18764 6046
18764 6052
18764 6052
18766 6052
18769 6046
18772 6040
18780 6040
18783 6029
20
19676 5340
19657 5377
19634 5433
19612 5503
19584 5584
19559 5679
19531 5780
19506 5892
19483 5993
19469 6094
19458 6180
19458 6259
19464 6323
19480 6374
19503 6410
19531 6433
19564 6444
19601 6449
19629 6441
19660 6435
13
19884 5766
19870 5780
19861 5811
19856 5856
19847 5906
19844 5962
19839 6018
19833 6077
19828 6130
19822 6175
19814 6206
19816 6236
19805 6245
18
19889 5629
19906 5609
19917 5581
19934 5556
19962 5534
19993 5511
20035 5489
20071 5466
20110 5447
20141 5427
20172 5413
20192 5399
20208 5391
20222 5385
20225 5382
20225 5382
20225 5391
20222 5399
22
19920 5931
19909 5931
19912 5928
19912 5926
19923 5912
19945 5898
19973 5878
20007 5858
20040 5839
20077 5822
20110 5808
20138 5794
20164 5786
20180 5777
20194 5774
20200 5772
20206 5772
20206 5772
20208 5774
20206 5780
20200 5783
20192 5802
13
19884 6295
19872 6304
19872 6315
19872 6309
19878 6298
19898 6287
19920 6267
19954 6245
19987 6222
20018 6194
20049 6158
20085 6136
20113 6108
18
20640 5161
20656 5195
20665 5240
20676 5298
20693 5377
20704 5466
20712 5576
20704 5688
20684 5811
20654 5937
20614 6057
20564 6166
20514 6270
20463 6365
20407 6441
20357 6503
20323 6550
20290 6573
13
20382 4525
20374 4514
20362 4497
20365 4475
20371 4464
20385 4455
20413 4450
20446 4441
20486 4433
20533 4427
20581 4430
20620 4427
20668 4433
54
21046 3951
21040 4005
21029 4072
21020 4153
21009 4245
20998 4343
20987 4447
20976 4548
20967 4640
20959 4724
20956 4800
20953 4864
20959 4920
20967 4962
20981 4999
20998 5021
21023 5041
21051 5049
21085 5058
21118 5058
21155 5058
21194 5052
21228 5046
21258 5041
21286 5035
21309 5027
21326 5021
21340 5013
21351 5004
21356 4993
21362 4982
21365 4968
21373 4948
21373 4926
21379 4901
21382 4870
21384 4836
21384 4791
21384 4744
21387 4688
21390 4621
21393 4548
21398 4469
21404 4388
21415 4310
21426 4231
21435 4164
21446 4105
21454 4055
21466 4024
21471 3999
21471 3979
21480 3974
21482 3965
15
21642 4509
21636 4520
21631 4517
21645 4506
21662 4506
21687 4497
21720 4495
21754 4486
21788 4483
21818 4478
21849 4475
21877 4475
21900 4481
21908 4478
21922 4481
6
21782 4408
21782 4455
21779 4500
21776 4548
21774 4590
21765 4618
114
22129 4369
22129 4380
22132 4394
22135 4413
22135 4439
22135 4469
22132 4500
22129 4537
22124 4570
22121 4601
22115 4626
22112 4649
22112 4663
22112 4671
22115 4674
22118 4671
22124 4665
22126 4654
22129 4637
22135 4618
22138 4593
22140 4565
22143 4537
22149 4503
22154 4472
22157 4444
22163 4413
22168 4388
22174 4366
22177 4349
22180 4329
22182 4321
22182 4310
22185 4301
22185 4296
22185 4293
22182 4293
22182 4293
22182 4299
22182 4304
22182 4313
22182 4324
22180 4338
22180 4360
22177 4383
22171 4411
22166 4444
22160 4475
22154 4514
22149 4553
22146 4590
22140 4626
22140 4657
22143 4688
22152 4710
22163 4727
22180 4735
22202 4735
22227 4730
22252 4713
22283 4696
22311 4671
22336 4643
22359 4609
22381 4579
22398 4542
22415 4509
22426 4472
22437 4436
22448 4402
22457 4366
22465 4335
22474 4304
22479 4285
22485 4268
22488 4251
22490 4243
22493 4240
22493 4243
22490 4248
22488 4259
22485 4273
22482 4290
22476 4313
22471 4343
22462 4374
22457 4413
22451 4458
22443 4509
22434 4570
22429 4637
22420 4710
22412 4786
22404 4864
22395 4943
22384 5024
22376 5102
22362 5172
22350 5240
22336 5298
22325 5354
22306 5405
22294 5450
22275 5480
22255 5503
22233 5514
22205 5517
22177 5506
22149 5489
22121 5461
22084 5422
22059 5374
22045 5324
22034 5256
65
22485 3909
22490 3940
22493 3971
22496 4010
22496 4052
22493 4097
22493 4142
22488 4178
22485 4215
22479 4237
22476 4257
22474 4268
22474 4273
22471 4271
22468 4259
22468 4243
22465 4215
22465 4181
22460 4139
22460 4094
22454 4047
22454 3999
22451 3954
22451 3912
22448 3879
22448 3851
22451 3828
22454 3811
22457 3800
22465 3795
22474 3795
22488 3803
22507 3820
22527 3842
22555 3873
22583 3915
22611 3963
22642 4010
22672 4061
22698 4105
22723 4145
22742 4178
22759 4203
22770 4217
22784 4223
22793 4220
22804 4206
22812 4184
22824 4150
22835 4108
22846 4058
22857 4002
22868 3940
22880 3884
22891 3831
22896 3783
22905 3747
22910 3719
22913 3699
22919 3685
22919 3683
22922 3685
22924 3694
22922 3702
22924 3719
35
23022 4383
23014 4399
23000 4427
22989 4461
22978 4506
22966 4559
22958 4621
22952 4677
22955 4738
22958 4786
22972 4828
22994 4853
23025 4867
23064 4856
23109 4833
23154 4797
23202 4752
23249 4696
23294 4635
23325 4567
23347 4506
23358 4447
23358 4394
23347 4349
23325 4310
23297 4282
23263 4265
23224 4254
23188 4251
23154 4254
23123 4257
23101 4268
23081 4276
23064 4282
23056 4287
24
23174 3996
23168 4002
23168 4030
23165 4072
23160 4128
23154 4201
23146 4282
23134 4380
23123 4481
23109 4584
23095 4679
23081 4769
23067 4850
23053 4923
23036 4982
23025 5030
23014 5066
23006 5091
23000 5111
22992 5122
22989 5130
22989 5139
22983 5136
22992 5142
89
23622 4313
23619 4349
23622 4399
23619 4458
23619 4525
23619 4595
23616 4665
23611 4730
23608 4789
23602 4836
23596 4873
23591 4903
23585 4917
23580 4920
23574 4915
23571 4892
23568 4861
23566 4817
23566 4766
23568 4702
23571 4635
23574 4565
23580 4495
23585 4427
23591 4363
23596 4307
23596 4259
23599 4223
23602 4192
23605 4167
23611 4153
23619 4145
23633 4147
23653 4161
23675 4181
23703 4209
23731 4245
23762 4290
23793 4338
23821 4388
23846 4439
23865 4486
23882 4531
23899 4567
23913 4598
23924 4621
23935 4635
23949 4640
23966 4637
23989 4626
24014 4601
24047 4573
24084 4531
24129 4481
24176 4425
24224 4363
24269 4299
24316 4237
24358 4178
24395 4128
24425 4083
24451 4049
24467 4024
24479 4010
24490 4005
24493 4010
24493 4027
24493 4055
24487 4094
24481 4139
24473 4195
24459 4259
24445 4324
24431 4391
24417 4453
24406 4511
24395 4562
24386 4609
24383 4651
24383 4682
24383 4713
24386 4733
24389 4755
24389 4763
24392 4780
24389 4780
24386 4786
24389 4791
24381 4791

ANNOTATIONS
SYMBOL <0> lparen
SYMBOLMAP <0> 0
SYMBOL <1, 2> D
SYMBOLMAP <1, 2> 1
SYMBOL <3> W
SYMBOLMAP <3> 2
SYMBOL <4> rparen
SYMBOLMAP <4> 3
SYMBOL <5, 6> Sigma
SYMBOLMAP <5, 6> 4
SYMBOL <7> v
SYMBOLMAP <7> 5
SYMBOL <8> horzline
SYMBOLMAP <8> 6
SYMBOL <9, 10> f
SYMBOLMAP <9, 10> 7
SYMBOL <11, 12> eq
SYMBOLMAP <11, 12> 8
SYMBOL <13> r
SYMBOLMAP <13> 9
SYMBOL <14> Integral
SYMBOLMAP <14> 10
SYMBOL <15> z
SYMBOLMAP <15> 11
SYMBOL <16> d
SYMBOLMAP <16> 12
SYMBOL <17, 18> psi
SYMBOLMAP <17, 18> 13
SYMBOL <19> lparen
SYMBOLMAP <19> 14
SYMBOL <20, 21, 22, 23> E
SYMBOLMAP <20, 21, 22, 23> 15
SYMBOL <24> rparen
SYMBOLMAP <24> 16
SYMBOL <25> horzline
SYMBOLMAP <25> 17
SYMBOL <26> U
SYMBOLMAP <26> 18
SYMBOL <27, 28> plus
SYMBOLMAP <27, 28> 19
SYMBOL <29> y
SYMBOLMAP <29> 20
SYMBOL <30> N
SYMBOLMAP <30> 21
SYMBOL <31, 32> phi
SYMBOLMAP <31, 32> 22
SYMBOL <33> M
SYMBOLMAP <33> 23

LINK <1, 2> R <3>
LINK <0> R <1, 2, 3>
LINK <1, 2, 3> R <4>
LINK <0, 1, 2, 3, 4> B <5, 6>
LINK <7> R <8>
LINK <8> R <9, 10>
LINK <7, 8, 9, 10> R <11, 12>
LINK <14> R <15>
LINK <15> R <16>
LINK <16> R <17, 18>
LINK <13> AR <14, 15, 16, 17, 18>
LINK <19> R <20, 21, 22, 23>
LINK <20, 21, 22, 23> R <24>
LINK <13, 14, 15, 16, 17, 18> R <19, 20, 21, 22, 23, 24>
LINK <11, 12> R <13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24>
LINK <5, 6> B <7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24>
LINK <25> R <26>
LINK <25, 26> R <27, 28>
LINK <29> AR <30>
LINK <31, 32> R <33>
LINK <29, 30> R <31, 32, 33>
LINK <27, 28> R <29, 30, 31, 32, 33>
LINK <0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24> R <25, 26, 27, 28, 29, 30, 31, 32, 33>

TREE (SUM (REL (SUB (NAME (TERM v)) (NAME (TERM f))) (FN (SUP (NAME (TERM r)) (INTEGRAL ( ) ( ) (NAME (TERM z)) (VAR (TERM psi)))) (TUPLE (LIST (NAME (TERM E)) ( )))) (TERM eq)) (PAREN (TERM ROUND) (MULT (NAME (TERM D)) (VAR (TERM W)))) (ADD (NEG (VAR (TERM U))) (MULT (SUP (VAR (TERM y)) (VAR (TERM N))) (MULT (VAR (TERM phi)) (NAME (TERM M))))))
